Degree and Dimension Estimates for Invariant Ideals of \(P\) -Solvable Recurrences
نویسندگان
چکیده
Motivated by the generation of polynomial loop invariants of computer programs, we study P -solvable recurrences. While these recurrences may contain non-linear terms, we show that the solutions of any such relation can be obtained by solving a system of linear recurrences. We also study invariant ideals of P -solvable recurrences (or equivalently of while loops with no branches). We establish sharp degree and dimension estimates of those invariant ideals.
منابع مشابه
Abelian Ideals of Maximal Dimension for Solvable Lie Algebras
We compare the maximal dimension of abelian subalgebras and the maximal dimension of abelian ideals for finite-dimensional Lie algebras. We show that these dimensions coincide for solvable Lie algebras over an algebraically closed field of characteristic zero. We compute this invariant for all complex nilpotent Lie algebras of dimension n ≤ 7. Furthermore we study the case where there exists an...
متن کاملInvariant elements in the dual Steenrod algebra
In this paper, we investigate the invariant elements of the dual mod $p$ Steenrod subalgebra ${mathcal{A}_p}^*$ under the conjugation map $chi$ and give bounds on the dimensions of $(chi-1)({mathcal{A}_p}^*)_d$, where $({mathcal{A}_p}^*)_d$ is the dimension of ${mathcal{A}_p}^*$ in degree $d$.
متن کاملM ay 2 00 1 Quantum solvable algebras . Ideals and representations at roots of 1
There proved that every prime invariant with respect to quantum adjoint action ideal I is completely prime and Fract(R/I) is isomorphic to the skew field of fractions of an algebra of twisted polynomials. We study correspondence between symplectic leaves and irreducible representations. The Conjecture of De Concini-KacProcesi on dimension of irreducible representations is proved for sufficientl...
متن کاملFractal Dimension for Poincaré Recurrences as an Indicator of Synchronized Chaotic Regimes
The studies of the phenomenon of chaos synchronization are usually based upon the analysis of the existence of transversely stable invariant manifold that contains an invariant set of trajectories corresponding to synchronous motions. In this paper we develop a new approach that relies on the notions of topological synchronization and the dimension for Poincaré recurrences. We show that the dim...
متن کاملWeak*-closed invariant subspaces and ideals of semigroup algebras on foundation semigroups
Let S be a locally compact foundation semigroup with identity and be its semigroup algebra. Let X be a weak*-closed left translation invariant subspace of In this paper, we prove that X is invariantly complemented in if and only if the left ideal of has a bounded approximate identity. We also prove that a foundation semigroup with identity S is left amenab...
متن کامل